Bernhard Rumpe (eds.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (12)
Les plus populaires
Liste
- Liste
- Tableau

1

Globalizing Domain-Specific Languages

Globalizing Domain-Specific Languages

Springer International Publishing

Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 6.23 MB

0 / 0

english, 2015

2

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 6.27 MB

0 / 0

english, 2011

3

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 21.04 MB

0 / 0

english, 2015

4

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

Springer Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 11.88 MB

0 / 0

english, 2010

5

Behavioral Specifications of Businesses and Systems

Behavioral Specifications of Businesses and Systems

Kenneth Baclawski, Scott A. DeLoach (auth.), Haim Kilov, Bernhard Rumpe, Ian Simmonds (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 13.46 MB

0 / 0

english, 1999

6

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 7.00 MB

0 / 4.0

english, 2010

7

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 3.20 MB

0 / 0

english, 1998

8

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

Springer Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 12.77 MB

0 / 0

english, 2010

9

Trusted Cloud Computing

Trusted Cloud Computing

Springer International Publishing

Helmut Krcmar, Ralf Reussner, Bernhard Rumpe (eds.)

Année:

2014

Langue:

english

Fichier:

PDF, 8.05 MB

0 / 0

english, 2014

10

«UML»’99 — The Unified Modeling Language: Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings

«UML»’99 — The Unified Modeling Language: Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Grady Booch (auth.), Robert France, Bernhard Rumpe (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 8.69 MB

0 / 0

english, 1999

11

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Springer International Publishing

Radu Calinescu, Bernhard Rumpe (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 16.81 MB

0 / 0

english, 2015

12

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 5.43 MB

0 / 0

english, 2011